Leveraging applications of formal methods (First international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004)Margaria, Tiziana; Steffen, Bernhard.Lecture notes in computer science. 2006, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, VIII-196 p, isbn 978-3-540-48928-3Conference Proceedings

Leveraging Formal MethodsInternational journal on software tools for technology transfer (Print). 2006, Vol 8, Num 6, issn 1433-2779, 471―603 [134 p.]Conference Paper

REALLY RETHINKING 'FORMAL METHODS'LORGE PARNAS, David.Computer (Long Beach, CA). 2010, Vol 43, Num 1, pp 28-34, issn 0018-9162, 7 p.Article

Formal approaches to software testing and runtime verification (First combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006)Lecture notes in computer science. 2006, issn 0302-9743, isbn 978-3-540-49699-1, 1Vol, VIII-253 p, isbn 978-3-540-49699-1Conference Proceedings

Formal aspects in security and trust (Third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-32628-6, 1Vol, X-257 p, isbn 3-540-32628-6Conference Proceedings

Formal Concept Analysis (4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006)Missaoui, Rokia; Schmid, Jürg.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-32203-5, 1Vol, X-308 p, isbn 3-540-32203-5Conference Proceedings

Characterizing planar lattices using left-relationsZSCHALIG, Christian.Lecture notes in computer science. 2006, pp 280-290, issn 0302-9743, isbn 3-540-32203-5, 1Vol, 11 p.Conference Paper

Online first publicationJONES, C. B; COOKE, D. J; NOTARMARCO, Christiane et al.Formal aspects of computing. 2004, Vol 16, Num 1, issn 0934-5043, p. 4Article

Congruences of finite distributive concept algebrasGANTER, Bernhard.Lecture notes in computer science. 2004, pp 128-141, issn 0302-9743, isbn 3-540-21043-1, 14 p.Conference Paper

Formal Extreme (and extremely formal) ProgrammingHERRANZ, Angel; MORENO-NAVARRO, Juan Jose.Lecture notes in computer science. 2003, pp 88-96, issn 0302-9743, isbn 3-540-40215-2, 9 p.Conference Paper

Tools and education towards formal methods practiceMEYER, John-Jules C.Lecture notes in computer science. 2003, pp 274-279, issn 0302-9743, isbn 3-540-40665-4, 6 p.Conference Paper

IDM : Méthodes formelles. Systèmes Embarqués : SysMLGénie logiciel (1995). 2010, Num 93, issn 1265-1397, 61 p.Conference Proceedings

Ten commandments of formal methods ... ten years laterBOWEN, Jonathan P; HINCHEY, Michael G.Computer (Long Beach, CA). 2006, Vol 39, Num 1, pp 40-48, issn 0018-9162, 9 p.Article

Web services and formal methods (Third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006)Bravetti, Mario; Nunez, Manuel; Zavattaro, Gianluigi et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-38862-1, 1Vol, X-287 p, isbn 3-540-38862-1Conference Proceedings

On the explicit use of example weights in the construction of classifiersNAISH-GUZMAN, Andrew; HOLDEN, Sean; PAQUET, Ulrich et al.Lecture notes in computer science. 2005, pp 307-312, issn 0302-9743, isbn 3-540-28755-8, 6 p.Conference Paper

Running-mode analysis of the security Socket Layer protocolZHANG, Yuqing; LIU, Xiuying.Operating systems review. 2004, Vol 38, Num 2, pp 34-40, issn 0163-5980, 7 p.Article

FAABS 2002 : formal approaches to agent-based systems (Greenbelt MD, 29-31 October 2002, revised papers)Hinchey, Michael G; Rash, James L; Truszkowski, Walter F et al.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-40665-4, IX, 295 p, isbn 3-540-40665-4Conference Proceedings

Adding formalism to methods or where and when will industry use formal reasoning?JOSEPH, Mathai.Lecture notes in computer science. 2003, pp 26-33, issn 0302-9743, isbn 3-540-20461-X, 8 p.Conference Paper

Formal techniques for networked and distributed systems - FORTE 2002 (Houston TX, 11-14 November 2002)Peled, Doron A; Vardi, Moshe Y.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-00141-7, XI, 368 p, isbn 3-540-00141-7Conference Proceedings

Theoretical aspects of computing (ICTAC 2006)Barkaoui, Kamel; Cavalcanti, Ana; Cerone, Antonio et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-48815-4, 1Vol, XV-370 p, isbn 3-540-48815-4Conference Proceedings

Formal approaches to software testing (5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005)Grieskamp, Wolfgang; Weise, Carsten.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-34454-3, 1Vol, XII-217 p, isbn 3-540-34454-3Conference Proceedings

Integrated formal methods (5th international conference, IFM 2005)Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-30492-4, 1Vol, XI-405 p, isbn 3-540-30492-4Conference Proceedings

Artificial neural networks (Part II : formal models and their applications : ICANN 2005 : 15th International Conference, Warsaw, Poland, September 11-15, 2005 : proceedings)Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28755-8, XXXII-1045 p, isbn 3-540-28755-8Conference Proceedings

IFM 2004 : integrated formal methods (Canterbury, 4-7 April 2004)Boiten, Eerke A; Derrick, John; Smith, Graeme et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-21377-5, XI, 540 p, isbn 3-540-21377-5Conference Proceedings

FORMAL VERSUS AGILE: SURVIVAL OF THE FITTEST?BLACK, Sue; BOCA, Paul P; BUWEN, Jonathan P et al.Computer (Long Beach, CA). 2009, Vol 42, Num 9, pp 37-45, issn 0018-9162, 9 p.Article